#ifndef MSATSOLVER_H
#define MSATSOLVER_H

#include "minisat-2.2/Solver.h"
#include "satsolver.h"

class MinisatSolver : public Minisat::Solver , public SATSolver
{
   public:
   virtual ~MinisatSolver(){}
   virtual void addClause( vec<Lit> & v )
   {
      Minisat::vec< Minisat::Lit > * x = ( Minisat::vec< Minisat::Lit > * ) ( void * ) & v ;
      Solver::addClause( *x );
   }
};


#endif
